Splitting Answer Set Programs with Respect to Intensionality Statements

Splitting a logic program allows us to reduce the task of computing its stable models similar tasks for subprograms. This can be used increase solving performance and prove correctness programs. We generalize conditions under which this technique is applicable, by considering not only dependencies between predicates but also their arguments context. splitting programs commonly in practice previous results were applicable.